Logical syntax - PDFSEARCH.IO - Document Search Engine

Logical syntax
Results: 623

#	Item
561	INT. J. LANG. COMM. DIS., JANUARY –MARCH VOL. Add to Reading List Source URL: steinhardt.nyu.edu Language: English - Date: 2011-02-17 13:43:31 Science Philosophy of language Propositional calculus Formal languages Semantics Proposition Language acquisition Idiom Well-formed formula Logic Linguistics Logical syntax
562	Deep Inference and Symmetry in Classical Proofs Dissertation zur Erlangung des akademischen Grades Add to Reading List Source URL: www.iam.unibe.ch Language: English - Date: 2004-03-12 06:11:33 Propositional calculus Logical syntax Inference Logical truth Natural deduction Sequent calculus First-order logic Rule of inference Sequent Logic Mathematical logic Proof theory
563	Classical Logic I: First-Order Logic Chapter 1 Add to Reading List Source URL: www.blackwellpublishing.com Language: English - Date: 2001-06-18 13:30:12 Formal languages Metalogic Logical syntax Propositional calculus Interpretation First-order logic Well-formed formula Substitution Structure Logic Mathematical logic Model theory
564	Ancient symbols, computational linguistics, and the reviewing practices of the general science journals Richard Sproat∗ Add to Reading List Source URL: www.cslu.ogi.edu Language: English - Date: 2010-07-09 14:35:17 Formal languages Natural language processing Logical syntax Metalogic Indus Valley Civilization Indus script Entropy Writing system Pictish stones Science Linguistics Logic
565	The SILK Language December 22, 2009 This version: Add to Reading List Source URL: www.stanford.edu Language: English - Date: 2010-04-28 01:22:31 Metalogic Grammar Semantic Web Rule Interchange Format First-order logic Symbol Well-formed formula Knowledge representation and reasoning Semantics Logic Formal languages Logical syntax
566	A Formulation of the Simple Theory of Types Alonzo Church The Journal of Symbolic Logic, Vol. 5, No. 2. (Jun., 1940), pp[removed]. Add to Reading List Source URL: www.classes.cs.uchicago.edu Language: English - Date: 2007-04-02 18:01:33 Formal languages Logical syntax Metalogic Model theory Interpretation Metamath Axiom Theorem Principia Mathematica Logic Mathematics Mathematical logic
567	Split Selection Methods for Classification Trees Published in Statistica Sinica, 1997, Vol. 7, pp. 815–840 Add to Reading List Source URL: www.math.ccu.edu.tw Language: English - Date: 2003-12-08 01:47:10 Algebra Logical syntax Variables Decision tree learning Feature selection Linear discriminant analysis Probability distribution Parameter Probability density function Statistics Categorical data Probability and statistics
568	Linguistic Books by Noam Chomsky Logical Structure of Linguistic Theory. MIT Humanities Library. Microfilm[removed]New York and London: Plenum Press, 1975; Chicago: University of Chicago Press, 1985. Add to Reading List Source URL: web.mit.edu Language: English - Date: 2009-04-29 10:29:18 Syntax Noam Chomsky bibliography Semantics Minimalist program Generative grammar Syntactic Structures James Higginbotham Andrea Moro Linguistics Generative linguistics Noam Chomsky
569	Mathematical Logic Helmut Schwichtenberg Add to Reading List Source URL: www.mathematik.uni-muenchen.de Language: English - Date: 2010-07-21 04:18:08 Predicate logic Propositional calculus Logical syntax Proof theory First-order logic Natural deduction Well-formed formula Atomic formula Intuitionistic logic Logic Mathematical logic Mathematics
570	Resolution and Binary Decision Diagrams cannot simulate each other polynomially Jan Friso Groote1,2 Add to Reading List Source URL: www.cs.uu.nl Language: English - Date: 2000-04-06 05:36:51 Metalogic Mathematical logic Formal languages Logical connective Constructible universe Well-formed formula Function Entailment Linear temporal logic Logic Mathematics Logical syntax

UPDATE